Fundraising September 15, 2024 – October 1, 2024 About fundraising
1

Comments on “general failure of logic programs”

Year:
1986
Language:
english
File:
PDF, 258 KB
english, 1986
2

A theory of complete logic programs with equality

Year:
1984
Language:
english
File:
PDF, 993 KB
english, 1984
4

Explicit representation of terms defined by counter examples

Year:
1987
Language:
english
File:
PDF, 793 KB
english, 1987
5

Most specific logic programs

Year:
1990
Language:
english
File:
PDF, 1.05 MB
english, 1990
6

Fixed point theorems and semantics: a folk tale

Year:
1982
Language:
english
File:
PDF, 727 KB
english, 1982
7

Constraint Logic Programming and Option Trading

Year:
1987
Language:
english
File:
PDF, 3.46 MB
english, 1987
8

Prefix codes, trees, and automata

Year:
1975
Language:
english
File:
PDF, 790 KB
english, 1975
9

A critical examination of software science

Year:
1981
Language:
english
File:
PDF, 1.11 MB
english, 1981
10

A dual problem to least fixed points

Year:
1981
Language:
english
File:
PDF, 1.08 MB
english, 1981
11

Closures and fairness in the semantics of programming logic

Year:
1984
Language:
english
File:
PDF, 1.75 MB
english, 1984
12

Optimal fixedpoints of logic programs

Year:
1985
Language:
english
File:
PDF, 683 KB
english, 1985
13

A canonical form for generalized linear constraints

Year:
1992
Language:
english
File:
PDF, 1.51 MB
english, 1992
14

An expert decision-support system for option-based investment strategies

Year:
1990
Language:
english
File:
PDF, 807 KB
english, 1990
15

Stratification and knowledge base management

Year:
1989
Language:
english
File:
PDF, 1.01 MB
english, 1989
16

On Fourier's algorithm for linear arithmetic constraints

Year:
1992
Language:
english
File:
PDF, 375 KB
english, 1992
17

Circular codes and synchronization

Year:
1976
Language:
english
File:
PDF, 385 KB
english, 1976
18

Guest editors' introduction

Year:
1991
Language:
english
File:
PDF, 164 KB
english, 1991
21

Maximal unifiable subsets and minimal nonunifiable subsets

Year:
1986
Language:
english
File:
PDF, 1001 KB
english, 1986
22

A clarification of the comparison between some measures of software science

Year:
1979
Language:
english
File:
PDF, 424 KB
english, 1979
23

A correspondence on strongly prefix codes (Corresp.)

Year:
1975
Language:
english
File:
PDF, 350 KB
english, 1975
27

Prefix codes and isomorphic automata

Year:
1972
Language:
english
File:
PDF, 264 KB
english, 1972
28

On the structure of systematic prefix codes

Year:
1972
Language:
english
File:
PDF, 385 KB
english, 1972
35

Timbre of Kiais: Analysis and synthesis

Year:
1978
Language:
english
File:
PDF, 329 KB
english, 1978